Application to Request Formal PSM National Office Recognition as a Professional Science Master’s Program

Source URL: www.sciencemasters.com

A Formal Treatment of Backdoored Pseudorandom Generators Yevgeniy Dodis1 , Chaya Ganesh1 , Alexander Golovnev1 , Ari Juels2 , and Thomas Ristenpart3 1 Department of Computer Science, New York University

Source URL: www.cs.nyu.edu

Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010

Source URL: bensmyth.com

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Report from Dagstuhl SeminarArtificial and Computational Intelligence in Games: Integration Edited by

Source URL: drops.dagstuhl.de

• Artificial intelligence
• Game theory
• Academia
• Formal sciences
• Computational neuroscience
• Technology
• Science and technology
• Game artificial intelligence
• General video game playing
• Artificial general intelligence
• Game design
• Symbolic artificial intelligence

Business Systems and Analytics With ever increasing amounts of data, organizations are identifying the importance of Business Intelligence and Analytics (BIA) for decision-making. Gartner recognized BIA as one of the fas

Source URL: www.stetson.edu

• Economy
• Business intelligence
• Information technology
• Information
• Formal sciences
• DeLand
• Florida
• Stetson University
• Analytics
• Master of Science in Quality Management and Analytics
• Villanova School of Business

Information-Theoretic Teleodynamics in Natural and Artificial Systems∗ Anthony F. Beavers and Christopher D. Harrison The University of Evansville

Source URL: faculty.evansville.edu

• Theoretical computer science
• Philosophy of thermal and statistical physics
• Formal sciences
• Artificial neural network
• Mathematical psychology
• Philosophy of information
• Entropy
• Information
• Computability
• Natural computing
• Algorithm
• Complexity

Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem

Source URL: www.delph-in.net

• Grammar
• Cognitive science
• Syntax
• Linguistics
• Language
• Formal languages
• Generative linguistics
• Compiler construction
• Head-driven phrase structure grammar
• Thesis
• Formal grammar
• Parsing

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

InPhO: A System for Collaboratively Populating and ∗ Extending a Dynamic Ontology Mathias Niepert, Cameron Buckner, Jaimie Murdock and Colin Allen Indiana University Bloomington, Indiana, USA

Source URL: www.jamram.net

• Ontology
• Semantic Web
• Information science
• Computing
• Technical communication
• Information
• Knowledge representation
• Formal ontology
• Web Ontology Language
• Indiana Philosophy Ontology Project
• Cyc
• Upper ontology